Skip to content

Conversation

djacu
Copy link
Member

@djacu djacu commented Aug 3, 2025

Adds a new flake input for the branding repository. Adds the branding media-kit and guide to the development environment and website derivation. Creates a new page for branding assets and the guide and adds a link in the footer.

Adds a new flake input for the branding repository. Adds the branding
media-kit and guide to the development environment and website
derivation. Creates a new page for branding assets and the guide and
adds a link in the footer.
@djacu djacu marked this pull request as draft August 3, 2025 02:58
@djacu
Copy link
Member Author

djacu commented Aug 3, 2025

@thilobillerbeck before I put a lot of effort into this, I want to make sure this is heading in the right direction. Let me know if we need to change anything.

I put all the branding assets in a branding directory under public.
I put a link to the branding page in the footer.
The website appears to work correctly for both the devShell and the derivation that builds the site.

Copy link
Contributor

github-actions bot commented Aug 3, 2025

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant